Language Elements
- Statements
  - if
  - if-else
  - for
  - sfor
  - while
- Learn rules
  - =>
  - _=>
  - +=>
  - .=>
  - #=>
  - !=>
- Infix type 1
  - +
  - -
  - .
  - _
  - __
  - :_
- Infix type 2
  - ==
  - !=
  - >=
  - >
  - <=
  - <
  - &&
  - ||
  - ++
  - --
  - **
  - //
  - %%
  - ^^
  - ..
- Miscellaneous elements
  - |>
  - comment
  - label descent
  - |*>
  - |category: *>
  - |_self>
  - (*,*)
  - |__self>
  - |context>
  - supported-ops
  - dump
  - if-then machine
  - if-then operator
- Object types
- Operator types
  - sigmoid
  - numeric
  - simple
  - compound
  - function
  - bracket
  - powered
  - op-sequence
Operators
- Core Operators
  - Normal
    - coeff-sort
    - do-you-know
    - drop
    - how-many
    - ket-sort
    - measure-currency
    - natural-sort
    - normalize
    - pick-elt
    - rescale
    - reverse
    - rotate-left
    - rotate-right
    - sdrop
    - show-many
    - shuffle
    - sidx
    - sreverse
    - srotate-left
    - srotate-right
    - sshuffle
    - weighted-pick-elt
  - Compound
    - drop-above
    - drop-below
    - normalize
    - pick
    - rescale
    - rotate-left
    - rotate-right
    - select
    - srotate-left
    - srotate-right
    - sselect
  - Compound context
    - sort-by
- Sigmoid Operators
  - Normal
    - ReLU
    - clean
    - invert
    - sigmoid-dec
    - sigmoid-inc
  - Compound
- Ket Operators
  - Normal
    - TM-compress-stars
    - TM-ket-hash
    - ceiling
    - floor
    - gmessage
    - is-prime
    - ket-length
    - log
    - pop-float
    - prime-factors
    - print
    - push-float
    - split
    - ssplit
    - to-comma-number
    - to-lower
    - to-upper
  - Compound
    - Gaussian
    - divide-by
    - has-prefix
    - has-suffix
    - hash
    - int-divide-by
    - is-equal
    - is-greater-equal-than
    - is-greater-than
    - is-in-range
    - is-less-equal-than
    - is-less-than
    - minus
    - mod
    - plus
    - random-int
    - remove-prefix
    - remove-suffix
    - round
    - split
    - ssplit
    - times-by
    - to-lower
    - to-upper
  - Context
    - starts-with
- Superposition Operators
  - Normal
  - Compound
    - bar-chart
    - digit2sp
  - Compound context
    - display-grid
    - gtable
    - learn-grid
    - save-as-dot
    - table
    - tidy-table
    - transpose-table
    - unlearn
- Sequence Operators
  - Normal
  - Context
    - compile
  - Compound
    - display-patch
    - random
    - sdisplay-patch
    - seq-arc-encoder
    - sleep
    - smerge
    - spike-merge
    - sprint
    - tensor-product
  - Compound context
- Function Operators
  - Normal
    - 1 parameter
      - TM-extract-text
      - and
      - is-mbr
      - is-subset
      - mbr
      - not-read
      - not-sread
      - or
      - parallel-sum-sequences
      - read
      - sprint
      - sread
      - substring-position
      - xor
    - 2 parameter
      - and
      - intersection
      - is-equal
      - natural-simm
      - or
      - range
      - simm
      - sprint
      - srange
      - strict-simm
      - string-replace
      - sum
      - swrite
      - transform
      - union
      - unscaled-simm
      - write
      - xor
    - 3 parameter
      - arithmetic
      - range
      - srange
      - value-if
    - 4 parameter
  - Context
    - 1 parameter
      - dump
      - gdump
      - op-zip
      - recursive-dump
      - similar-grid
      - unlearn
    - 2 parameter
    - 3 parameter
      - add-learn
      - learn
      - op-for
      - op-if
      - op-sfor
      - seq-learn
      - smap
    - 4 parameter
      - op-for
      - op-sfor
- All Operators
  - Simple
    - ReLU
    - TM-compress-stars
    - TM-ket-hash
    - TM-sequence-hash
    - ceiling
    - clean
    - coeff-sort
    - compile
    - do-you-know
    - drop
    - extract-category
    - extract-head
    - extract-headless
    - extract-tail
    - extract-value
    - floor
    - gmessage
    - how-many
    - invert
    - is-prime
    - ket-length
    - ket-sort
    - log
    - measure-currency
    - natural-sort
    - normalize
    - pick-elt
    - pop-float
    - prime-factors
    - print
    - push-float
    - rank
    - raw-bar-chart
    - rescale
    - reverse
    - rotate-left
    - rotate-right
    - sdrop
    - seq2sp
    - show-many
    - shuffle
    - sidx
    - sigmoid-dec
    - sigmoid-inc
    - smerge
    - sp2seq
    - split
    - sprint
    - sreverse
    - srotate-left
    - srotate-right
    - sshuffle
    - ssplit
    - starts-with
    - to-comma-number
    - to-lower
    - to-upper
    - weighted-pick-elt
  - Compound
    - Gaussian
    - TM-learn-sentences
    - TM-ngram-partition
    - bar-chart
    - borrow-from-context
    - common
    - copy
    - digit2sp
    - display-grid
    - display-patch
    - divide-by
    - drop-above
    - drop-below
    - equal-input
    - find-inverse
    - gtable
    - has-prefix
    - has-suffix
    - hash
    - inherit
    - inherit-path
    - int-divide-by
    - is-equal
    - is-greater-equal-than
    - is-greater-than
    - is-in-range
    - is-less-equal-than
    - is-less-than
    - learn-grid
    - minus
    - mod
    - natural-similar-input
    - normalize
    - not-threshold-filter
    - op-sum
    - op-union
    - patch-map
    - pick
    - plus
    - random
    - random-int
    - rel-kets
    - remove-prefix
    - remove-suffix
    - rescale
    - rotate-left
    - rotate-right
    - round
    - save-as-dot
    - scompress
    - sdisplay-patch
    - select
    - seq-arc-encoder
    - sigmoid-in-range
    - sigmoid-max
    - sigmoid-min
    - similar-input
    - sleep
    - smap
    - smerge
    - sort-by
    - spatch-map
    - spike-merge
    - split
    - sprint
    - srotate-left
    - srotate-right
    - sselect
    - ssplit
    - star-equal-input
    - stransitive
    - strict-similar-input
    - such-that
    - table
    - tensor-product
    - threshold-filter
    - tidy-table
    - times-by
    - to-lower
    - to-upper
    - transitive
    - transpose-table
    - unlearn
    - unscaled-similar-input
  - Function
    - TM-extract-text
    - add-learn
    - and
    - apply
    - arithmetic
    - dump
    - filter
    - find-operators-between
    - find-path-between
    - gdump
    - grid-simm
    - intersection
    - is-equal
    - is-mbr
    - is-subset
    - learn
    - mbr
    - natural-simm
    - not-filter
    - not-read
    - not-sread
    - op-for
    - op-if
    - op-sfor
    - op-zip
    - or
    - parallel-sum-sequences
    - range
    - read
    - recursive-dump
    - seq-learn
    - similar-grid
    - simm
    - smap
    - sprint
    - srange
    - sread
    - strict-simm
    - string-replace
    - substring-position
    - sum
    - swrite
    - transform
    - union
    - unlearn
    - unscaled-simm
    - value-if
    - write
    - xor
Examples
Website
Github

Home

Operator Usage

Name

find-operators-between

Description

find-operators-between(ket1, ket2)
Use Dijkstra's algorithm to find the shortest path between ket1 and ket2
See: https://en.wikipedia.org/wiki/Dijkstra%27s_algorithm
Same as find-path-between(), except we instead return the operator sequence required to get from ket1 to ket2

Examples

-- learn a grid, then find a path:
learn-grid[10, 10]
find-operators-between(|grid: 0: 0>, |grid: 5: 6>)
    |op: E> . |op: SE> . |op: SE> . |op: SE> . |op: SE> . |op: SE>

-- a quick demonstration that this is correct:
SE SE SE SE SE E |grid: 0: 0>
    |grid: 5: 6>


-- find pathway through a friend network:
-- first define some friends:
friends |Fred> => |Jack> + |Harry> + |Ed> + |Mary> + |Rob> + |Patrick> + |Emma> + |Charlie>
friends |Sam> => |Charlie> + |George> + |Emma> + |Jack> + |Robert> + |Frank> + |Julie>

-- find inverse friends links:
find-inverse[friends]

-- find friend pathway from Fred to Sam:
find-operators-between(|Fred>, |Sam>)
    |op: friends> . |op: inverse-friends>

-- find friend pathway from Fred to Julie:
find-operators-between(|Fred>, |Julie>)
    |op: friends> . |op: inverse-friends> . |op: friends>

-- verify we reach Julie using this operator sequence:
friends inverse-friends friends |Fred>
    11|Jack> + 8|Harry> + 8|Ed> + 8|Mary> + 8|Rob> + 8|Patrick> + 11|Emma> + 11|Charlie> + 3|George> + 3|Robert> + 3|Frank> + 3|Julie>

See also

find-path-between, find-inverse

Operator type

context function 2